$\forall$$r$:rationals. qrep($r$) $\in$ (:$\mathbb{Z}$ $\times$ int\_nzero)